Monotone surjections having more than one fixed point
نویسندگان
چکیده
منابع مشابه
Injections, Surjections and More
where is the natural logarithmic base [4]. In counting all injections, we treat extensions as distinct; for example, the function : {1 2}→ {1 2} with () = is not the same as the function : {1 2} → {1 2 3} with () = , nor is it the same as the function : {1 2 3}→ {1 2 3} with () = . Let denote the set of all surjections {1 } → {1 } where ≥ . ...
متن کاملBlock transitive Steiner systems with more than one point orbit
For all ‘reasonable’ finite t, k and s we construct a t-(א0, k, 1) design and a group of automorphisms which is transitive on blocks and has s orbits on points. In particular, there is a 2-(א0, 4, 1) design with a block-transitive group of automorphisms having two point orbits. This answers a question of P. J. Cameron and C. E. Praeger. The construction is presented in a purely combinatorial wa...
متن کاملMonotone Fixed-Point Types and Strong Normalization
Several systems of xed-point types (also called retract types or recursive types with explicit isomorphisms) extending system F are considered. The seemingly strongest systems have monotonicity witnesses and use them in the deenition of beta reduction for those types. A more na ve approach leads to non-normalizing terms. All the other systems are strongly normalizing because they embed in a red...
متن کاملMore than one abortion.
©FFPRHC J Fam Plann Reprod Health Care 2007: 33(3) Introduction The terms ‘repeat abortion’ and ‘repeat aborter’ appear in the scientific literature from the early 1970s onwards. To begin with, the pejorative term ‘abortion recidivism’ was used by some.1 The initial concern appeared to be that women might be using abortion instead of contraception as a means of fertility control, with connotati...
متن کاملMore than One Adam?
From Marco Polo to Richard Nixon, narratives of the encounter between Chinese and Westerners have been defining texts of European cultures and their descendants. Successive but sporadic reports from travellers, missionaries, diplomats, traders and others have provided a model of an alternative way of arranging people, of organizing their lives, of thinking about the state of being human; one th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Rocky Mountain Journal of Mathematics
سال: 1974
ISSN: 0035-7596
DOI: 10.1216/rmj-1974-4-1-95